منابع مشابه
From Python to PLT Scheme
This paper describes an experimental embedding of Python into DrScheme. The core of the system is a compiler, which translates Python programs into equivalent MzScheme programs, and a runtime system to model the Python environment. The generated MzScheme code may be evaluated or used by DrScheme tools, giving Python programmers access to the DrScheme development suite while writing in their fav...
متن کاملExistence and uniqueness of common coupled fixed point results via auxiliary functions
The purpose of this paper is to establish some coupled coincidence point theorems for mappings having a mixed $g$-monotone property in partially ordered metric spaces. Also, we present a result on the existence and uniqueness of coupled common fixed points. The results presented in the paper generalize and extend several well-known results in the literature.
متن کاملResults from a beam test of a prototype PLT diamond pixel telescope
We describe results from a beam test of a telescope consisting of three planes of single-crystal, diamond pixel detectors. This telescope is a prototype for a small-angle luminosity monitor, the Pixel Luminosity Telescope (PLT), for CMS. We recorded the pixel addresses and pulse heights of all pixels over threshold as well as the fast-or signals from all three telescope planes. We present resul...
متن کاملPlt versus Klt
In this paper a new class of transforms named Predictionbased Lower triangular Transform (PLT) is introduced for signal compression. The PLT is a nonunitary transform that yields the same coding gain as the Kahunen-Loeve transform (KLT). Unlike KLT, the derivation of PLT does not involve any eigen problem. An M-dimensional PLT can be solved by Levinson-Durbin recursion formula in O ( M 2 ) . Mo...
متن کاملRandomized Testing in PLT Redex
This paper presents new support for randomized testing in PLT Redex, a domain-specific language for formalizing operational semantics. In keeping with the overall spirit of Redex, the testing support is as lightweight as possible—Redex programmers simply write down predicates that correspond to facts about their calculus and the tool randomly generates program expressions in an attempt to falsi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Plasma Physics
سال: 1983
ISSN: 0032-1028
DOI: 10.1088/0032-1028/25/2/004